- аксиоматическая спецификация
- axiomatic specification
Русско-английский словарь по вычислительной технике и программированию . 2013.
Русско-английский словарь по вычислительной технике и программированию . 2013.
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия